Claiming Heritage, Renewing Authority

Tressa: Claiming the Future

Unlike sequential programs, concurrent programs have to account for interference on shared variables. Static verification of a desired property for such programs crucially depends on precisely asserting the conditions for interference. In a static proof system, in addition to program variables, auxiliary (history) variables summarizing the past of the program execution are used in these asserti...

Renewing GENETICS.

Facilitating access to cultural heritage content in Czechia: National Authority Files and INTERMI project

The paper informs about the project Interoperability in memory institutions (INTERMI) in Czechia realized by the National Library of the Czech Republic and National Archive within Applied research and development of national and cultural identity Programme”(NAKI) program funded by the Ministry of Culture of the Czech Republic. The purpose of the project is to create scientific and technological...

Renewing Cryptographic Timestamps

This paper shows that the scheme described in Haber and Stornetta [Haber and Stornetta Jr., 1994] for extending the validity of a cryptographic timestamp for a Time Stamping Service contains security shortcomings. A modification is proposed to rectify the identified shortcomings.

Framing and Claiming: How Information-Framing Affects Expected Social Security Claiming Behavior.

This paper provides evidence that Social Security benefit claiming decisions are strongly affected by framing and are thus inconsistent with expected utility theory. Using a randomized experiment that controls for both observable and unobservable differences across individuals, we find that the use of a "breakeven analysis" encourages early claiming. Respondents are more likely to delay when la...